#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int main(int argc, char *argv[])
{
    char buff;
    int size = atoi(argv[2]);

    pgaccess(argv[1], size, &buff);
    printf("%x\n", buff);
    exit(0);
}